type crypto/internal/nistec/fiat.p224Uint1
247 uses
crypto/internal/nistec/fiat (current package)
p224.go#L125: p224Selectznz((*p224UntypedFieldElement)(&v.x), p224Uint1(cond),
p224_fiat64.go#L43: type p224Uint1 uint64 // We use uint64 instead of a more narrow type for performance reasons; see https://github.com/mit-plv/fiat-crypto/pull/1006#issuecomment-892625927
p224_fiat64.go#L71: func p224CmovznzU64(out1 *uint64, arg1 p224Uint1, arg2 uint64, arg3 uint64) {
p224_fiat64.go#L110: x15, x16 = bits.Add64(x10, x7, uint64(p224Uint1(x14)))
p224_fiat64.go#L113: x17, x18 = bits.Add64(x8, x5, uint64(p224Uint1(x16)))
p224_fiat64.go#L114: x19 := (uint64(p224Uint1(x18)) + x6)
p224_fiat64.go#L131: x30, x31 = bits.Add64(x25, x22, uint64(p224Uint1(x29)))
p224_fiat64.go#L132: x32 := (uint64(p224Uint1(x31)) + x23)
p224_fiat64.go#L137: x35, x36 = bits.Add64(x13, x26, uint64(p224Uint1(x34)))
p224_fiat64.go#L140: x37, x38 = bits.Add64(x15, x28, uint64(p224Uint1(x36)))
p224_fiat64.go#L143: x39, x40 = bits.Add64(x17, x30, uint64(p224Uint1(x38)))
p224_fiat64.go#L146: x41, x42 = bits.Add64(x19, x32, uint64(p224Uint1(x40)))
p224_fiat64.go#L164: x53, x54 = bits.Add64(x48, x45, uint64(p224Uint1(x52)))
p224_fiat64.go#L167: x55, x56 = bits.Add64(x46, x43, uint64(p224Uint1(x54)))
p224_fiat64.go#L168: x57 := (uint64(p224Uint1(x56)) + x44)
p224_fiat64.go#L174: x60, x61 = bits.Add64(x37, x51, uint64(p224Uint1(x59)))
p224_fiat64.go#L177: x62, x63 = bits.Add64(x39, x53, uint64(p224Uint1(x61)))
p224_fiat64.go#L180: x64, x65 = bits.Add64(x41, x55, uint64(p224Uint1(x63)))
p224_fiat64.go#L183: x66, x67 = bits.Add64(uint64(p224Uint1(x42)), x57, uint64(p224Uint1(x65)))
p224_fiat64.go#L200: x78, x79 = bits.Add64(x73, x70, uint64(p224Uint1(x77)))
p224_fiat64.go#L201: x80 := (uint64(p224Uint1(x79)) + x71)
p224_fiat64.go#L206: x83, x84 = bits.Add64(x60, x74, uint64(p224Uint1(x82)))
p224_fiat64.go#L209: x85, x86 = bits.Add64(x62, x76, uint64(p224Uint1(x84)))
p224_fiat64.go#L212: x87, x88 = bits.Add64(x64, x78, uint64(p224Uint1(x86)))
p224_fiat64.go#L215: x89, x90 = bits.Add64(x66, x80, uint64(p224Uint1(x88)))
p224_fiat64.go#L216: x91 := (uint64(p224Uint1(x90)) + uint64(p224Uint1(x67)))
p224_fiat64.go#L234: x102, x103 = bits.Add64(x97, x94, uint64(p224Uint1(x101)))
p224_fiat64.go#L237: x104, x105 = bits.Add64(x95, x92, uint64(p224Uint1(x103)))
p224_fiat64.go#L238: x106 := (uint64(p224Uint1(x105)) + x93)
p224_fiat64.go#L244: x109, x110 = bits.Add64(x85, x100, uint64(p224Uint1(x108)))
p224_fiat64.go#L247: x111, x112 = bits.Add64(x87, x102, uint64(p224Uint1(x110)))
p224_fiat64.go#L250: x113, x114 = bits.Add64(x89, x104, uint64(p224Uint1(x112)))
p224_fiat64.go#L253: x115, x116 = bits.Add64(x91, x106, uint64(p224Uint1(x114)))
p224_fiat64.go#L270: x127, x128 = bits.Add64(x122, x119, uint64(p224Uint1(x126)))
p224_fiat64.go#L271: x129 := (uint64(p224Uint1(x128)) + x120)
p224_fiat64.go#L276: x132, x133 = bits.Add64(x109, x123, uint64(p224Uint1(x131)))
p224_fiat64.go#L279: x134, x135 = bits.Add64(x111, x125, uint64(p224Uint1(x133)))
p224_fiat64.go#L282: x136, x137 = bits.Add64(x113, x127, uint64(p224Uint1(x135)))
p224_fiat64.go#L285: x138, x139 = bits.Add64(x115, x129, uint64(p224Uint1(x137)))
p224_fiat64.go#L286: x140 := (uint64(p224Uint1(x139)) + uint64(p224Uint1(x116)))
p224_fiat64.go#L304: x151, x152 = bits.Add64(x146, x143, uint64(p224Uint1(x150)))
p224_fiat64.go#L307: x153, x154 = bits.Add64(x144, x141, uint64(p224Uint1(x152)))
p224_fiat64.go#L308: x155 := (uint64(p224Uint1(x154)) + x142)
p224_fiat64.go#L314: x158, x159 = bits.Add64(x134, x149, uint64(p224Uint1(x157)))
p224_fiat64.go#L317: x160, x161 = bits.Add64(x136, x151, uint64(p224Uint1(x159)))
p224_fiat64.go#L320: x162, x163 = bits.Add64(x138, x153, uint64(p224Uint1(x161)))
p224_fiat64.go#L323: x164, x165 = bits.Add64(x140, x155, uint64(p224Uint1(x163)))
p224_fiat64.go#L340: x176, x177 = bits.Add64(x171, x168, uint64(p224Uint1(x175)))
p224_fiat64.go#L341: x178 := (uint64(p224Uint1(x177)) + x169)
p224_fiat64.go#L346: x181, x182 = bits.Add64(x158, x172, uint64(p224Uint1(x180)))
p224_fiat64.go#L349: x183, x184 = bits.Add64(x160, x174, uint64(p224Uint1(x182)))
p224_fiat64.go#L352: x185, x186 = bits.Add64(x162, x176, uint64(p224Uint1(x184)))
p224_fiat64.go#L355: x187, x188 = bits.Add64(x164, x178, uint64(p224Uint1(x186)))
p224_fiat64.go#L356: x189 := (uint64(p224Uint1(x188)) + uint64(p224Uint1(x165)))
p224_fiat64.go#L362: x192, x193 = bits.Sub64(x183, 0xffffffff00000000, uint64(p224Uint1(x191)))
p224_fiat64.go#L365: x194, x195 = bits.Sub64(x185, 0xffffffffffffffff, uint64(p224Uint1(x193)))
p224_fiat64.go#L368: x196, x197 = bits.Sub64(x187, 0xffffffff, uint64(p224Uint1(x195)))
p224_fiat64.go#L370: _, x199 = bits.Sub64(x189, uint64(0x0), uint64(p224Uint1(x197)))
p224_fiat64.go#L372: p224CmovznzU64(&x200, p224Uint1(x199), x190, x181)
p224_fiat64.go#L374: p224CmovznzU64(&x201, p224Uint1(x199), x192, x183)
p224_fiat64.go#L376: p224CmovznzU64(&x202, p224Uint1(x199), x194, x185)
p224_fiat64.go#L378: p224CmovznzU64(&x203, p224Uint1(x199), x196, x187)
p224_fiat64.go#L417: x15, x16 = bits.Add64(x10, x7, uint64(p224Uint1(x14)))
p224_fiat64.go#L420: x17, x18 = bits.Add64(x8, x5, uint64(p224Uint1(x16)))
p224_fiat64.go#L421: x19 := (uint64(p224Uint1(x18)) + x6)
p224_fiat64.go#L438: x30, x31 = bits.Add64(x25, x22, uint64(p224Uint1(x29)))
p224_fiat64.go#L439: x32 := (uint64(p224Uint1(x31)) + x23)
p224_fiat64.go#L444: x35, x36 = bits.Add64(x13, x26, uint64(p224Uint1(x34)))
p224_fiat64.go#L447: x37, x38 = bits.Add64(x15, x28, uint64(p224Uint1(x36)))
p224_fiat64.go#L450: x39, x40 = bits.Add64(x17, x30, uint64(p224Uint1(x38)))
p224_fiat64.go#L453: x41, x42 = bits.Add64(x19, x32, uint64(p224Uint1(x40)))
p224_fiat64.go#L471: x53, x54 = bits.Add64(x48, x45, uint64(p224Uint1(x52)))
p224_fiat64.go#L474: x55, x56 = bits.Add64(x46, x43, uint64(p224Uint1(x54)))
p224_fiat64.go#L475: x57 := (uint64(p224Uint1(x56)) + x44)
p224_fiat64.go#L481: x60, x61 = bits.Add64(x37, x51, uint64(p224Uint1(x59)))
p224_fiat64.go#L484: x62, x63 = bits.Add64(x39, x53, uint64(p224Uint1(x61)))
p224_fiat64.go#L487: x64, x65 = bits.Add64(x41, x55, uint64(p224Uint1(x63)))
p224_fiat64.go#L490: x66, x67 = bits.Add64(uint64(p224Uint1(x42)), x57, uint64(p224Uint1(x65)))
p224_fiat64.go#L507: x78, x79 = bits.Add64(x73, x70, uint64(p224Uint1(x77)))
p224_fiat64.go#L508: x80 := (uint64(p224Uint1(x79)) + x71)
p224_fiat64.go#L513: x83, x84 = bits.Add64(x60, x74, uint64(p224Uint1(x82)))
p224_fiat64.go#L516: x85, x86 = bits.Add64(x62, x76, uint64(p224Uint1(x84)))
p224_fiat64.go#L519: x87, x88 = bits.Add64(x64, x78, uint64(p224Uint1(x86)))
p224_fiat64.go#L522: x89, x90 = bits.Add64(x66, x80, uint64(p224Uint1(x88)))
p224_fiat64.go#L523: x91 := (uint64(p224Uint1(x90)) + uint64(p224Uint1(x67)))
p224_fiat64.go#L541: x102, x103 = bits.Add64(x97, x94, uint64(p224Uint1(x101)))
p224_fiat64.go#L544: x104, x105 = bits.Add64(x95, x92, uint64(p224Uint1(x103)))
p224_fiat64.go#L545: x106 := (uint64(p224Uint1(x105)) + x93)
p224_fiat64.go#L551: x109, x110 = bits.Add64(x85, x100, uint64(p224Uint1(x108)))
p224_fiat64.go#L554: x111, x112 = bits.Add64(x87, x102, uint64(p224Uint1(x110)))
p224_fiat64.go#L557: x113, x114 = bits.Add64(x89, x104, uint64(p224Uint1(x112)))
p224_fiat64.go#L560: x115, x116 = bits.Add64(x91, x106, uint64(p224Uint1(x114)))
p224_fiat64.go#L577: x127, x128 = bits.Add64(x122, x119, uint64(p224Uint1(x126)))
p224_fiat64.go#L578: x129 := (uint64(p224Uint1(x128)) + x120)
p224_fiat64.go#L583: x132, x133 = bits.Add64(x109, x123, uint64(p224Uint1(x131)))
p224_fiat64.go#L586: x134, x135 = bits.Add64(x111, x125, uint64(p224Uint1(x133)))
p224_fiat64.go#L589: x136, x137 = bits.Add64(x113, x127, uint64(p224Uint1(x135)))
p224_fiat64.go#L592: x138, x139 = bits.Add64(x115, x129, uint64(p224Uint1(x137)))
p224_fiat64.go#L593: x140 := (uint64(p224Uint1(x139)) + uint64(p224Uint1(x116)))
p224_fiat64.go#L611: x151, x152 = bits.Add64(x146, x143, uint64(p224Uint1(x150)))
p224_fiat64.go#L614: x153, x154 = bits.Add64(x144, x141, uint64(p224Uint1(x152)))
p224_fiat64.go#L615: x155 := (uint64(p224Uint1(x154)) + x142)
p224_fiat64.go#L621: x158, x159 = bits.Add64(x134, x149, uint64(p224Uint1(x157)))
p224_fiat64.go#L624: x160, x161 = bits.Add64(x136, x151, uint64(p224Uint1(x159)))
p224_fiat64.go#L627: x162, x163 = bits.Add64(x138, x153, uint64(p224Uint1(x161)))
p224_fiat64.go#L630: x164, x165 = bits.Add64(x140, x155, uint64(p224Uint1(x163)))
p224_fiat64.go#L647: x176, x177 = bits.Add64(x171, x168, uint64(p224Uint1(x175)))
p224_fiat64.go#L648: x178 := (uint64(p224Uint1(x177)) + x169)
p224_fiat64.go#L653: x181, x182 = bits.Add64(x158, x172, uint64(p224Uint1(x180)))
p224_fiat64.go#L656: x183, x184 = bits.Add64(x160, x174, uint64(p224Uint1(x182)))
p224_fiat64.go#L659: x185, x186 = bits.Add64(x162, x176, uint64(p224Uint1(x184)))
p224_fiat64.go#L662: x187, x188 = bits.Add64(x164, x178, uint64(p224Uint1(x186)))
p224_fiat64.go#L663: x189 := (uint64(p224Uint1(x188)) + uint64(p224Uint1(x165)))
p224_fiat64.go#L669: x192, x193 = bits.Sub64(x183, 0xffffffff00000000, uint64(p224Uint1(x191)))
p224_fiat64.go#L672: x194, x195 = bits.Sub64(x185, 0xffffffffffffffff, uint64(p224Uint1(x193)))
p224_fiat64.go#L675: x196, x197 = bits.Sub64(x187, 0xffffffff, uint64(p224Uint1(x195)))
p224_fiat64.go#L677: _, x199 = bits.Sub64(x189, uint64(0x0), uint64(p224Uint1(x197)))
p224_fiat64.go#L679: p224CmovznzU64(&x200, p224Uint1(x199), x190, x181)
p224_fiat64.go#L681: p224CmovznzU64(&x201, p224Uint1(x199), x192, x183)
p224_fiat64.go#L683: p224CmovznzU64(&x202, p224Uint1(x199), x194, x185)
p224_fiat64.go#L685: p224CmovznzU64(&x203, p224Uint1(x199), x196, x187)
p224_fiat64.go#L709: x3, x4 = bits.Add64(arg1[1], arg2[1], uint64(p224Uint1(x2)))
p224_fiat64.go#L712: x5, x6 = bits.Add64(arg1[2], arg2[2], uint64(p224Uint1(x4)))
p224_fiat64.go#L715: x7, x8 = bits.Add64(arg1[3], arg2[3], uint64(p224Uint1(x6)))
p224_fiat64.go#L721: x11, x12 = bits.Sub64(x3, 0xffffffff00000000, uint64(p224Uint1(x10)))
p224_fiat64.go#L724: x13, x14 = bits.Sub64(x5, 0xffffffffffffffff, uint64(p224Uint1(x12)))
p224_fiat64.go#L727: x15, x16 = bits.Sub64(x7, 0xffffffff, uint64(p224Uint1(x14)))
p224_fiat64.go#L729: _, x18 = bits.Sub64(uint64(p224Uint1(x8)), uint64(0x0), uint64(p224Uint1(x16)))
p224_fiat64.go#L731: p224CmovznzU64(&x19, p224Uint1(x18), x9, x1)
p224_fiat64.go#L733: p224CmovznzU64(&x20, p224Uint1(x18), x11, x3)
p224_fiat64.go#L735: p224CmovznzU64(&x21, p224Uint1(x18), x13, x5)
p224_fiat64.go#L737: p224CmovznzU64(&x22, p224Uint1(x18), x15, x7)
p224_fiat64.go#L761: x3, x4 = bits.Sub64(arg1[1], arg2[1], uint64(p224Uint1(x2)))
p224_fiat64.go#L764: x5, x6 = bits.Sub64(arg1[2], arg2[2], uint64(p224Uint1(x4)))
p224_fiat64.go#L767: x7, x8 = bits.Sub64(arg1[3], arg2[3], uint64(p224Uint1(x6)))
p224_fiat64.go#L769: p224CmovznzU64(&x9, p224Uint1(x8), uint64(0x0), 0xffffffffffffffff)
p224_fiat64.go#L772: x10, x11 = bits.Add64(x1, uint64((p224Uint1(x9) & 0x1)), uint64(0x0))
p224_fiat64.go#L775: x12, x13 = bits.Add64(x3, (x9 & 0xffffffff00000000), uint64(p224Uint1(x11)))
p224_fiat64.go#L778: x14, x15 = bits.Add64(x5, x9, uint64(p224Uint1(x13)))
p224_fiat64.go#L780: x16, _ = bits.Add64(x7, (x9 & 0xffffffff), uint64(p224Uint1(x15)))
p224_fiat64.go#L828: x12, x13 = bits.Add64(x7, x4, uint64(p224Uint1(x11)))
p224_fiat64.go#L833: x16, x17 = bits.Add64(uint64(0x0), x8, uint64(p224Uint1(x15)))
p224_fiat64.go#L836: x18, x19 = bits.Add64(uint64(0x0), x10, uint64(p224Uint1(x17)))
p224_fiat64.go#L839: x20, x21 = bits.Add64(uint64(0x0), x12, uint64(p224Uint1(x19)))
p224_fiat64.go#L845: x24, x25 = bits.Add64(x18, uint64(0x0), uint64(p224Uint1(x23)))
p224_fiat64.go#L848: x26, x27 = bits.Add64(x20, uint64(0x0), uint64(p224Uint1(x25)))
p224_fiat64.go#L865: x38, x39 = bits.Add64(x33, x30, uint64(p224Uint1(x37)))
p224_fiat64.go#L870: x42, x43 = bits.Add64(x24, x34, uint64(p224Uint1(x41)))
p224_fiat64.go#L873: x44, x45 = bits.Add64(x26, x36, uint64(p224Uint1(x43)))
p224_fiat64.go#L876: x46, x47 = bits.Add64((uint64(p224Uint1(x27)) + (uint64(p224Uint1(x21)) + (uint64(p224Uint1(x13)) + x5))), x38, uint64(p224Uint1(x45)))
p224_fiat64.go#L882: x50, x51 = bits.Add64(x44, uint64(0x0), uint64(p224Uint1(x49)))
p224_fiat64.go#L885: x52, x53 = bits.Add64(x46, uint64(0x0), uint64(p224Uint1(x51)))
p224_fiat64.go#L902: x64, x65 = bits.Add64(x59, x56, uint64(p224Uint1(x63)))
p224_fiat64.go#L907: x68, x69 = bits.Add64(x50, x60, uint64(p224Uint1(x67)))
p224_fiat64.go#L910: x70, x71 = bits.Add64(x52, x62, uint64(p224Uint1(x69)))
p224_fiat64.go#L913: x72, x73 = bits.Add64((uint64(p224Uint1(x53)) + (uint64(p224Uint1(x47)) + (uint64(p224Uint1(x39)) + x31))), x64, uint64(p224Uint1(x71)))
p224_fiat64.go#L919: x76, x77 = bits.Add64(x70, uint64(0x0), uint64(p224Uint1(x75)))
p224_fiat64.go#L922: x78, x79 = bits.Add64(x72, uint64(0x0), uint64(p224Uint1(x77)))
p224_fiat64.go#L939: x90, x91 = bits.Add64(x85, x82, uint64(p224Uint1(x89)))
p224_fiat64.go#L944: x94, x95 = bits.Add64(x76, x86, uint64(p224Uint1(x93)))
p224_fiat64.go#L947: x96, x97 = bits.Add64(x78, x88, uint64(p224Uint1(x95)))
p224_fiat64.go#L950: x98, x99 = bits.Add64((uint64(p224Uint1(x79)) + (uint64(p224Uint1(x73)) + (uint64(p224Uint1(x65)) + x57))), x90, uint64(p224Uint1(x97)))
p224_fiat64.go#L951: x100 := (uint64(p224Uint1(x99)) + (uint64(p224Uint1(x91)) + x83))
p224_fiat64.go#L957: x103, x104 = bits.Sub64(x96, 0xffffffff00000000, uint64(p224Uint1(x102)))
p224_fiat64.go#L960: x105, x106 = bits.Sub64(x98, 0xffffffffffffffff, uint64(p224Uint1(x104)))
p224_fiat64.go#L963: x107, x108 = bits.Sub64(x100, 0xffffffff, uint64(p224Uint1(x106)))
p224_fiat64.go#L965: _, x110 = bits.Sub64(uint64(0x0), uint64(0x0), uint64(p224Uint1(x108)))
p224_fiat64.go#L967: p224CmovznzU64(&x111, p224Uint1(x110), x101, x94)
p224_fiat64.go#L969: p224CmovznzU64(&x112, p224Uint1(x110), x103, x96)
p224_fiat64.go#L971: p224CmovznzU64(&x113, p224Uint1(x110), x105, x98)
p224_fiat64.go#L973: p224CmovznzU64(&x114, p224Uint1(x110), x107, x100)
p224_fiat64.go#L1012: x15, x16 = bits.Add64(x10, x7, uint64(p224Uint1(x14)))
p224_fiat64.go#L1015: x17, x18 = bits.Add64(x8, x5, uint64(p224Uint1(x16)))
p224_fiat64.go#L1032: x29, x30 = bits.Add64(x24, x21, uint64(p224Uint1(x28)))
p224_fiat64.go#L1037: x33, x34 = bits.Add64(x13, x25, uint64(p224Uint1(x32)))
p224_fiat64.go#L1040: x35, x36 = bits.Add64(x15, x27, uint64(p224Uint1(x34)))
p224_fiat64.go#L1043: x37, x38 = bits.Add64(x17, x29, uint64(p224Uint1(x36)))
p224_fiat64.go#L1061: x49, x50 = bits.Add64(x44, x41, uint64(p224Uint1(x48)))
p224_fiat64.go#L1064: x51, x52 = bits.Add64(x42, x39, uint64(p224Uint1(x50)))
p224_fiat64.go#L1070: x55, x56 = bits.Add64(x35, x47, uint64(p224Uint1(x54)))
p224_fiat64.go#L1073: x57, x58 = bits.Add64(x37, x49, uint64(p224Uint1(x56)))
p224_fiat64.go#L1076: x59, x60 = bits.Add64(((uint64(p224Uint1(x38)) + (uint64(p224Uint1(x18)) + x6)) + (uint64(p224Uint1(x30)) + x22)), x51, uint64(p224Uint1(x58)))
p224_fiat64.go#L1093: x71, x72 = bits.Add64(x66, x63, uint64(p224Uint1(x70)))
p224_fiat64.go#L1098: x75, x76 = bits.Add64(x55, x67, uint64(p224Uint1(x74)))
p224_fiat64.go#L1101: x77, x78 = bits.Add64(x57, x69, uint64(p224Uint1(x76)))
p224_fiat64.go#L1104: x79, x80 = bits.Add64(x59, x71, uint64(p224Uint1(x78)))
p224_fiat64.go#L1122: x91, x92 = bits.Add64(x86, x83, uint64(p224Uint1(x90)))
p224_fiat64.go#L1125: x93, x94 = bits.Add64(x84, x81, uint64(p224Uint1(x92)))
p224_fiat64.go#L1131: x97, x98 = bits.Add64(x77, x89, uint64(p224Uint1(x96)))
p224_fiat64.go#L1134: x99, x100 = bits.Add64(x79, x91, uint64(p224Uint1(x98)))
p224_fiat64.go#L1137: x101, x102 = bits.Add64(((uint64(p224Uint1(x80)) + (uint64(p224Uint1(x60)) + (uint64(p224Uint1(x52)) + x40))) + (uint64(p224Uint1(x72)) + x64)), x93, uint64(p224Uint1(x100)))
p224_fiat64.go#L1154: x113, x114 = bits.Add64(x108, x105, uint64(p224Uint1(x112)))
p224_fiat64.go#L1159: x117, x118 = bits.Add64(x97, x109, uint64(p224Uint1(x116)))
p224_fiat64.go#L1162: x119, x120 = bits.Add64(x99, x111, uint64(p224Uint1(x118)))
p224_fiat64.go#L1165: x121, x122 = bits.Add64(x101, x113, uint64(p224Uint1(x120)))
p224_fiat64.go#L1183: x133, x134 = bits.Add64(x128, x125, uint64(p224Uint1(x132)))
p224_fiat64.go#L1186: x135, x136 = bits.Add64(x126, x123, uint64(p224Uint1(x134)))
p224_fiat64.go#L1192: x139, x140 = bits.Add64(x119, x131, uint64(p224Uint1(x138)))
p224_fiat64.go#L1195: x141, x142 = bits.Add64(x121, x133, uint64(p224Uint1(x140)))
p224_fiat64.go#L1198: x143, x144 = bits.Add64(((uint64(p224Uint1(x122)) + (uint64(p224Uint1(x102)) + (uint64(p224Uint1(x94)) + x82))) + (uint64(p224Uint1(x114)) + x106)), x135, uint64(p224Uint1(x142)))
p224_fiat64.go#L1215: x155, x156 = bits.Add64(x150, x147, uint64(p224Uint1(x154)))
p224_fiat64.go#L1220: x159, x160 = bits.Add64(x139, x151, uint64(p224Uint1(x158)))
p224_fiat64.go#L1223: x161, x162 = bits.Add64(x141, x153, uint64(p224Uint1(x160)))
p224_fiat64.go#L1226: x163, x164 = bits.Add64(x143, x155, uint64(p224Uint1(x162)))
p224_fiat64.go#L1227: x165 := ((uint64(p224Uint1(x164)) + (uint64(p224Uint1(x144)) + (uint64(p224Uint1(x136)) + x124))) + (uint64(p224Uint1(x156)) + x148))
p224_fiat64.go#L1233: x168, x169 = bits.Sub64(x161, 0xffffffff00000000, uint64(p224Uint1(x167)))
p224_fiat64.go#L1236: x170, x171 = bits.Sub64(x163, 0xffffffffffffffff, uint64(p224Uint1(x169)))
p224_fiat64.go#L1239: x172, x173 = bits.Sub64(x165, 0xffffffff, uint64(p224Uint1(x171)))
p224_fiat64.go#L1241: _, x175 = bits.Sub64(uint64(0x0), uint64(0x0), uint64(p224Uint1(x173)))
p224_fiat64.go#L1243: p224CmovznzU64(&x176, p224Uint1(x175), x166, x159)
p224_fiat64.go#L1245: p224CmovznzU64(&x177, p224Uint1(x175), x168, x161)
p224_fiat64.go#L1247: p224CmovznzU64(&x178, p224Uint1(x175), x170, x163)
p224_fiat64.go#L1249: p224CmovznzU64(&x179, p224Uint1(x175), x172, x165)
p224_fiat64.go#L1271: func p224Selectznz(out1 *[4]uint64, arg1 p224Uint1, arg2 *[4]uint64, arg3 *[4]uint64) {
 |
The pages are generated with Golds v0.6.7. (GOOS=linux GOARCH=amd64)
Golds is a Go 101 project developed by Tapir Liu.
PR and bug reports are welcome and can be submitted to the issue list.
Please follow @Go100and1 (reachable from the left QR code) to get the latest news of Golds. |